41. <A> course in mathematical logic for mathematicians
Author: \ Yu. I. Manin; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical.,منطق ریاضی
Classification :
E-Book
,
42. A course in mathematical logic for mathematicians
Author: / Yu. I. Manin
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
M29613
2010
43. A course on foundations of nonstandard analysis
Author: Kanovei, Vladimir
Library: Central Library and Documentation Center (Kerman)
Subject: ، Nonstandard mathematical analysis,، Mathematical analysis,، Functional analysis,، Logic, Symbolic and mathematical
Classification :
QA
299
.
82
.
K2
1994
44. A course on foundations of nonstandard analysis
Author: Kanovei, Vladimir
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Nonstandard mathematical analysis, Logic, Symbolic and mathematical
Classification :
QA
299
.
82
.
K36
1994
45. A course on mathematical logic
Author: Srivastava, Shashi Mohan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem
Classification :
QA
9
.
S684C6
2013
46. A course on mathematical logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
47. A course on mathematical logic
Author: / Shashi Mohan Srivastava
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.
48. A course on mathematical logic
Author: Srivastava, Shashi Mohan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
S684C6
49. A course on mathematical logic
Author: Shashi Mohan Srivastava
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
S65
2013
50. A first course in logic
Author: / Shawn Hedman
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic.,Logic, Symbolic and mathematical.
Classification :
QA9
,.
H36
,
2004
51. A first course in logic
Author: / Shawn Shawn
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Logic,symbolic and mathematical
Classification :
511
.
3
H452f
52. A first course in logic /
Author: Mark V. Lawson, Heriot-Watt University, Edinburgh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
Classification :
QA9
.
L37256
2018eb
53. A first course in logic
Author: Shawn Hedman,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Logic,Logic -- Symbolic and mathematical
Classification :
QA
.
H36
9
2004
54. A first course in logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical ; Problems, exercises, etc. ; Logic. ;
55. A first course in logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic. ; Logic, Symbolic and mathematical. ;
56. A first course in logic
Author: / Shawn Hedman
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic,Logic, Symbolic and mathematical
Classification :
QA9
.
H36
2004
57. A first course in logic :an introduction to model theory, proof theory, computability, and complexity
Author: Hedman, Shawn.
Library: Library of Mofid University (Qom)
Subject: ، Logic,، Logic, Symbolic and mathematical
Classification :
QA9
.
H36
2004
58. A first course in logic : an introduction to model theory, proof theory, computability, and complexity
Author: Hedman, Shawn
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic,، Logic, Symbolic and mathematical
Classification :
QA
9
.
H43F5
59. A first course in mathematical logic and set theory /
Author: Michael L. O'Leary
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics,Set theory
Classification :
QA9
60. A first course in modern logic
Author: / /By/Edith Watson Schipper and Edward Schuh,Schipper
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
BC135
.
S33
